perm filename RULE.LSP[F76,JMC] blob sn#245815 filedate 1976-11-08 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(SETQ R5 @(
C00003 ENDMK
CāŠ—;
(SETQ R5 @(
((PLUS) 0)
((PLUS 0 . X) (PLUS.X))
((TIMES 0 . X) 0)
((TIMES) 1)
((TIMES 1 . X) (TIMES.X))
((PLUS X) X)
((TIMES X) X)
((PLUS 1 1) 2)
((PLUS (TIMES X Z) (TIMES Y Z))  (TIMES (PLUS X Y) Z))
))

(SETQ R6 @(
((SUCC 0) 1)
((SUCC 1) 2)
((SUCC 2) 3)
((SUCC 3) 4)
((PRED 3) 2)
((PRED 2) 1)
((PRED 1) 0)
((PLUS X 0) X)
((MINUS X 0) X)
((PLUS X Y) (PLUS (SUCC X) (PRED Y)))
))